Optimal. Leaf size=255 \[ -\frac {b^2 \cos \left (2 c-\frac {2 d f}{e}\right ) \text {Ci}\left (2 d \left (\frac {f}{e}+\frac {1}{x}\right )\right )}{2 f}+\frac {b^2 \cos (2 c) \text {Ci}\left (\frac {2 d}{x}\right )}{2 f}+\frac {a^2 \log \left (f+\frac {e}{x}\right )}{f}+\frac {b^2 \log \left (f+\frac {e}{x}\right )}{2 f}+\frac {a^2 \log (x)}{f}+\frac {b^2 \log (x)}{2 f}-\frac {2 a b \text {Ci}\left (\frac {d}{x}\right ) \sin (c)}{f}+\frac {2 a b \text {Ci}\left (d \left (\frac {f}{e}+\frac {1}{x}\right )\right ) \sin \left (c-\frac {d f}{e}\right )}{f}+\frac {2 a b \cos \left (c-\frac {d f}{e}\right ) \text {Si}\left (d \left (\frac {f}{e}+\frac {1}{x}\right )\right )}{f}+\frac {b^2 \sin \left (2 c-\frac {2 d f}{e}\right ) \text {Si}\left (2 d \left (\frac {f}{e}+\frac {1}{x}\right )\right )}{2 f}-\frac {2 a b \cos (c) \text {Si}\left (\frac {d}{x}\right )}{f}-\frac {b^2 \sin (2 c) \text {Si}\left (\frac {2 d}{x}\right )}{2 f} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.45, antiderivative size = 255, normalized size of antiderivative = 1.00, number of steps
used = 22, number of rules used = 6, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.273, Rules used = {3512, 3398,
3384, 3380, 3383, 3393} \begin {gather*} \frac {a^2 \log \left (\frac {e}{x}+f\right )}{f}+\frac {a^2 \log (x)}{f}+\frac {2 a b \sin \left (c-\frac {d f}{e}\right ) \text {CosIntegral}\left (d \left (\frac {f}{e}+\frac {1}{x}\right )\right )}{f}-\frac {2 a b \sin (c) \text {CosIntegral}\left (\frac {d}{x}\right )}{f}+\frac {2 a b \cos \left (c-\frac {d f}{e}\right ) \text {Si}\left (d \left (\frac {f}{e}+\frac {1}{x}\right )\right )}{f}-\frac {2 a b \cos (c) \text {Si}\left (\frac {d}{x}\right )}{f}-\frac {b^2 \cos \left (2 c-\frac {2 d f}{e}\right ) \text {CosIntegral}\left (2 d \left (\frac {f}{e}+\frac {1}{x}\right )\right )}{2 f}+\frac {b^2 \cos (2 c) \text {CosIntegral}\left (\frac {2 d}{x}\right )}{2 f}+\frac {b^2 \sin \left (2 c-\frac {2 d f}{e}\right ) \text {Si}\left (2 d \left (\frac {f}{e}+\frac {1}{x}\right )\right )}{2 f}-\frac {b^2 \sin (2 c) \text {Si}\left (\frac {2 d}{x}\right )}{2 f}+\frac {b^2 \log \left (\frac {e}{x}+f\right )}{2 f}+\frac {b^2 \log (x)}{2 f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3380
Rule 3383
Rule 3384
Rule 3393
Rule 3398
Rule 3512
Rubi steps
\begin {align*} \int \frac {\left (a+b \sin \left (c+\frac {d}{x}\right )\right )^2}{e+f x} \, dx &=-\text {Subst}\left (\int \left (\frac {(a+b \sin (c+d x))^2}{f x}-\frac {e (a+b \sin (c+d x))^2}{f (f+e x)}\right ) \, dx,x,\frac {1}{x}\right )\\ &=-\frac {\text {Subst}\left (\int \frac {(a+b \sin (c+d x))^2}{x} \, dx,x,\frac {1}{x}\right )}{f}+\frac {e \text {Subst}\left (\int \frac {(a+b \sin (c+d x))^2}{f+e x} \, dx,x,\frac {1}{x}\right )}{f}\\ &=-\frac {\text {Subst}\left (\int \left (\frac {a^2}{x}+\frac {2 a b \sin (c+d x)}{x}+\frac {b^2 \sin ^2(c+d x)}{x}\right ) \, dx,x,\frac {1}{x}\right )}{f}+\frac {e \text {Subst}\left (\int \left (\frac {a^2}{f+e x}+\frac {2 a b \sin (c+d x)}{f+e x}+\frac {b^2 \sin ^2(c+d x)}{f+e x}\right ) \, dx,x,\frac {1}{x}\right )}{f}\\ &=\frac {a^2 \log \left (f+\frac {e}{x}\right )}{f}+\frac {a^2 \log (x)}{f}-\frac {(2 a b) \text {Subst}\left (\int \frac {\sin (c+d x)}{x} \, dx,x,\frac {1}{x}\right )}{f}-\frac {b^2 \text {Subst}\left (\int \frac {\sin ^2(c+d x)}{x} \, dx,x,\frac {1}{x}\right )}{f}+\frac {(2 a b e) \text {Subst}\left (\int \frac {\sin (c+d x)}{f+e x} \, dx,x,\frac {1}{x}\right )}{f}+\frac {\left (b^2 e\right ) \text {Subst}\left (\int \frac {\sin ^2(c+d x)}{f+e x} \, dx,x,\frac {1}{x}\right )}{f}\\ &=\frac {a^2 \log \left (f+\frac {e}{x}\right )}{f}+\frac {a^2 \log (x)}{f}-\frac {b^2 \text {Subst}\left (\int \left (\frac {1}{2 x}-\frac {\cos (2 c+2 d x)}{2 x}\right ) \, dx,x,\frac {1}{x}\right )}{f}+\frac {\left (b^2 e\right ) \text {Subst}\left (\int \left (\frac {1}{2 (f+e x)}-\frac {\cos (2 c+2 d x)}{2 (f+e x)}\right ) \, dx,x,\frac {1}{x}\right )}{f}-\frac {(2 a b \cos (c)) \text {Subst}\left (\int \frac {\sin (d x)}{x} \, dx,x,\frac {1}{x}\right )}{f}+\frac {\left (2 a b e \cos \left (c-\frac {d f}{e}\right )\right ) \text {Subst}\left (\int \frac {\sin \left (\frac {d f}{e}+d x\right )}{f+e x} \, dx,x,\frac {1}{x}\right )}{f}-\frac {(2 a b \sin (c)) \text {Subst}\left (\int \frac {\cos (d x)}{x} \, dx,x,\frac {1}{x}\right )}{f}+\frac {\left (2 a b e \sin \left (c-\frac {d f}{e}\right )\right ) \text {Subst}\left (\int \frac {\cos \left (\frac {d f}{e}+d x\right )}{f+e x} \, dx,x,\frac {1}{x}\right )}{f}\\ &=\frac {a^2 \log \left (f+\frac {e}{x}\right )}{f}+\frac {b^2 \log \left (f+\frac {e}{x}\right )}{2 f}+\frac {a^2 \log (x)}{f}+\frac {b^2 \log (x)}{2 f}-\frac {2 a b \text {Ci}\left (\frac {d}{x}\right ) \sin (c)}{f}+\frac {2 a b \text {Ci}\left (\frac {d \left (f+\frac {e}{x}\right )}{e}\right ) \sin \left (c-\frac {d f}{e}\right )}{f}+\frac {2 a b \cos \left (c-\frac {d f}{e}\right ) \text {Si}\left (\frac {d \left (f+\frac {e}{x}\right )}{e}\right )}{f}-\frac {2 a b \cos (c) \text {Si}\left (\frac {d}{x}\right )}{f}+\frac {b^2 \text {Subst}\left (\int \frac {\cos (2 c+2 d x)}{x} \, dx,x,\frac {1}{x}\right )}{2 f}-\frac {\left (b^2 e\right ) \text {Subst}\left (\int \frac {\cos (2 c+2 d x)}{f+e x} \, dx,x,\frac {1}{x}\right )}{2 f}\\ &=\frac {a^2 \log \left (f+\frac {e}{x}\right )}{f}+\frac {b^2 \log \left (f+\frac {e}{x}\right )}{2 f}+\frac {a^2 \log (x)}{f}+\frac {b^2 \log (x)}{2 f}-\frac {2 a b \text {Ci}\left (\frac {d}{x}\right ) \sin (c)}{f}+\frac {2 a b \text {Ci}\left (\frac {d \left (f+\frac {e}{x}\right )}{e}\right ) \sin \left (c-\frac {d f}{e}\right )}{f}+\frac {2 a b \cos \left (c-\frac {d f}{e}\right ) \text {Si}\left (\frac {d \left (f+\frac {e}{x}\right )}{e}\right )}{f}-\frac {2 a b \cos (c) \text {Si}\left (\frac {d}{x}\right )}{f}+\frac {\left (b^2 \cos (2 c)\right ) \text {Subst}\left (\int \frac {\cos (2 d x)}{x} \, dx,x,\frac {1}{x}\right )}{2 f}-\frac {\left (b^2 e \cos \left (2 c-\frac {2 d f}{e}\right )\right ) \text {Subst}\left (\int \frac {\cos \left (\frac {2 d f}{e}+2 d x\right )}{f+e x} \, dx,x,\frac {1}{x}\right )}{2 f}-\frac {\left (b^2 \sin (2 c)\right ) \text {Subst}\left (\int \frac {\sin (2 d x)}{x} \, dx,x,\frac {1}{x}\right )}{2 f}+\frac {\left (b^2 e \sin \left (2 c-\frac {2 d f}{e}\right )\right ) \text {Subst}\left (\int \frac {\sin \left (\frac {2 d f}{e}+2 d x\right )}{f+e x} \, dx,x,\frac {1}{x}\right )}{2 f}\\ &=-\frac {b^2 \cos \left (2 c-\frac {2 d f}{e}\right ) \text {Ci}\left (\frac {2 d \left (f+\frac {e}{x}\right )}{e}\right )}{2 f}+\frac {b^2 \cos (2 c) \text {Ci}\left (\frac {2 d}{x}\right )}{2 f}+\frac {a^2 \log \left (f+\frac {e}{x}\right )}{f}+\frac {b^2 \log \left (f+\frac {e}{x}\right )}{2 f}+\frac {a^2 \log (x)}{f}+\frac {b^2 \log (x)}{2 f}-\frac {2 a b \text {Ci}\left (\frac {d}{x}\right ) \sin (c)}{f}+\frac {2 a b \text {Ci}\left (\frac {d \left (f+\frac {e}{x}\right )}{e}\right ) \sin \left (c-\frac {d f}{e}\right )}{f}+\frac {2 a b \cos \left (c-\frac {d f}{e}\right ) \text {Si}\left (\frac {d \left (f+\frac {e}{x}\right )}{e}\right )}{f}+\frac {b^2 \sin \left (2 c-\frac {2 d f}{e}\right ) \text {Si}\left (\frac {2 d \left (f+\frac {e}{x}\right )}{e}\right )}{2 f}-\frac {2 a b \cos (c) \text {Si}\left (\frac {d}{x}\right )}{f}-\frac {b^2 \sin (2 c) \text {Si}\left (\frac {2 d}{x}\right )}{2 f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.24, size = 195, normalized size = 0.76 \begin {gather*} \frac {-b^2 \cos \left (2 c-\frac {2 d f}{e}\right ) \text {Ci}\left (2 d \left (\frac {f}{e}+\frac {1}{x}\right )\right )+b^2 \cos (2 c) \text {Ci}\left (\frac {2 d}{x}\right )+2 a^2 \log (e+f x)+b^2 \log (e+f x)-4 a b \text {Ci}\left (\frac {d}{x}\right ) \sin (c)+4 a b \text {Ci}\left (d \left (\frac {f}{e}+\frac {1}{x}\right )\right ) \sin \left (c-\frac {d f}{e}\right )+4 a b \cos \left (c-\frac {d f}{e}\right ) \text {Si}\left (d \left (\frac {f}{e}+\frac {1}{x}\right )\right )+b^2 \sin \left (2 c-\frac {2 d f}{e}\right ) \text {Si}\left (2 d \left (\frac {f}{e}+\frac {1}{x}\right )\right )-4 a b \cos (c) \text {Si}\left (\frac {d}{x}\right )-b^2 \sin (2 c) \text {Si}\left (\frac {2 d}{x}\right )}{2 f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.13, size = 354, normalized size = 1.39
method | result | size |
risch | \(-\frac {i a b \,{\mathrm e}^{-\frac {i \left (c e -d f \right )}{e}} \expIntegral \left (1, \frac {i d}{x}+i c -\frac {i \left (c e -d f \right )}{e}\right )}{f}+\frac {i a b \expIntegral \left (1, \frac {i d}{x}\right ) {\mathrm e}^{-i c}}{f}+\frac {\ln \left (f x +e \right ) a^{2}}{f}+\frac {\ln \left (f x +e \right ) b^{2}}{2 f}+\frac {b^{2} {\mathrm e}^{-\frac {2 i \left (c e -d f \right )}{e}} \expIntegral \left (1, \frac {2 i d}{x}+2 i c -\frac {2 i \left (c e -d f \right )}{e}\right )}{4 f}-\frac {b^{2} \expIntegral \left (1, \frac {2 i d}{x}\right ) {\mathrm e}^{-2 i c}}{4 f}+\frac {b^{2} {\mathrm e}^{\frac {2 i \left (c e -d f \right )}{e}} \expIntegral \left (1, -\frac {2 i d}{x}-2 i c -\frac {2 \left (-i c e +i d f \right )}{e}\right )}{4 f}-\frac {b^{2} \expIntegral \left (1, -\frac {2 i d}{x}\right ) {\mathrm e}^{2 i c}}{4 f}+\frac {i a b \,{\mathrm e}^{\frac {i \left (c e -d f \right )}{e}} \expIntegral \left (1, -\frac {i d}{x}-i c -\frac {-i c e +i d f}{e}\right )}{f}-\frac {i a b \expIntegral \left (1, -\frac {i d}{x}\right ) {\mathrm e}^{i c}}{f}\) | \(325\) |
derivativedivides | \(-d \left (\frac {a^{2} \ln \left (\frac {d}{x}\right )}{f d}-\frac {a^{2} \ln \left (-c e +d f +e \left (c +\frac {d}{x}\right )\right )}{f d}+\frac {2 a b \left (\sinIntegral \left (\frac {d}{x}\right ) \cos \left (c \right )+\cosineIntegral \left (\frac {d}{x}\right ) \sin \left (c \right )\right )}{f d}-\frac {2 a b e \left (-\frac {\sinIntegral \left (-\frac {d}{x}-c -\frac {-c e +d f}{e}\right ) \cos \left (\frac {-c e +d f}{e}\right )}{e}-\frac {\cosineIntegral \left (\frac {d}{x}+c +\frac {-c e +d f}{e}\right ) \sin \left (\frac {-c e +d f}{e}\right )}{e}\right )}{f d}+\frac {b^{2} \ln \left (\frac {d}{x}\right )}{2 f d}-\frac {b^{2} \ln \left (-c e +d f +e \left (c +\frac {d}{x}\right )\right )}{2 f d}-\frac {b^{2} \left (-2 \sinIntegral \left (\frac {2 d}{x}\right ) \sin \left (2 c \right )+2 \cosineIntegral \left (\frac {2 d}{x}\right ) \cos \left (2 c \right )\right )}{4 f d}+\frac {b^{2} e \left (-\frac {2 \sinIntegral \left (-\frac {2 d}{x}-2 c -\frac {2 \left (-c e +d f \right )}{e}\right ) \sin \left (\frac {-2 c e +2 d f}{e}\right )}{e}+\frac {2 \cosineIntegral \left (\frac {2 d}{x}+2 c +\frac {-2 c e +2 d f}{e}\right ) \cos \left (\frac {-2 c e +2 d f}{e}\right )}{e}\right )}{4 f d}\right )\) | \(354\) |
default | \(-d \left (\frac {a^{2} \ln \left (\frac {d}{x}\right )}{f d}-\frac {a^{2} \ln \left (-c e +d f +e \left (c +\frac {d}{x}\right )\right )}{f d}+\frac {2 a b \left (\sinIntegral \left (\frac {d}{x}\right ) \cos \left (c \right )+\cosineIntegral \left (\frac {d}{x}\right ) \sin \left (c \right )\right )}{f d}-\frac {2 a b e \left (-\frac {\sinIntegral \left (-\frac {d}{x}-c -\frac {-c e +d f}{e}\right ) \cos \left (\frac {-c e +d f}{e}\right )}{e}-\frac {\cosineIntegral \left (\frac {d}{x}+c +\frac {-c e +d f}{e}\right ) \sin \left (\frac {-c e +d f}{e}\right )}{e}\right )}{f d}+\frac {b^{2} \ln \left (\frac {d}{x}\right )}{2 f d}-\frac {b^{2} \ln \left (-c e +d f +e \left (c +\frac {d}{x}\right )\right )}{2 f d}-\frac {b^{2} \left (-2 \sinIntegral \left (\frac {2 d}{x}\right ) \sin \left (2 c \right )+2 \cosineIntegral \left (\frac {2 d}{x}\right ) \cos \left (2 c \right )\right )}{4 f d}+\frac {b^{2} e \left (-\frac {2 \sinIntegral \left (-\frac {2 d}{x}-2 c -\frac {2 \left (-c e +d f \right )}{e}\right ) \sin \left (\frac {-2 c e +2 d f}{e}\right )}{e}+\frac {2 \cosineIntegral \left (\frac {2 d}{x}+2 c +\frac {-2 c e +2 d f}{e}\right ) \cos \left (\frac {-2 c e +2 d f}{e}\right )}{e}\right )}{4 f d}\right )\) | \(354\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.39, size = 289, normalized size = 1.13 \begin {gather*} \frac {2 \, b^{2} \sin \left (-2 \, {\left (d f - c e\right )} e^{\left (-1\right )}\right ) \operatorname {Si}\left (\frac {2 \, {\left (d f x + d e\right )} e^{\left (-1\right )}}{x}\right ) + 8 \, a b \cos \left (-{\left (d f - c e\right )} e^{\left (-1\right )}\right ) \operatorname {Si}\left (\frac {{\left (d f x + d e\right )} e^{\left (-1\right )}}{x}\right ) - 2 \, b^{2} \sin \left (2 \, c\right ) \operatorname {Si}\left (\frac {2 \, d}{x}\right ) - 8 \, a b \cos \left (c\right ) \operatorname {Si}\left (\frac {d}{x}\right ) - {\left (b^{2} \operatorname {Ci}\left (\frac {2 \, {\left (d f x + d e\right )} e^{\left (-1\right )}}{x}\right ) + b^{2} \operatorname {Ci}\left (-\frac {2 \, {\left (d f x + d e\right )} e^{\left (-1\right )}}{x}\right )\right )} \cos \left (-2 \, {\left (d f - c e\right )} e^{\left (-1\right )}\right ) + {\left (b^{2} \operatorname {Ci}\left (\frac {2 \, d}{x}\right ) + b^{2} \operatorname {Ci}\left (-\frac {2 \, d}{x}\right )\right )} \cos \left (2 \, c\right ) + 2 \, {\left (2 \, a^{2} + b^{2}\right )} \log \left (f x + e\right ) + 4 \, {\left (a b \operatorname {Ci}\left (\frac {{\left (d f x + d e\right )} e^{\left (-1\right )}}{x}\right ) + a b \operatorname {Ci}\left (-\frac {{\left (d f x + d e\right )} e^{\left (-1\right )}}{x}\right )\right )} \sin \left (-{\left (d f - c e\right )} e^{\left (-1\right )}\right ) - 4 \, {\left (a b \operatorname {Ci}\left (\frac {d}{x}\right ) + a b \operatorname {Ci}\left (-\frac {d}{x}\right )\right )} \sin \left (c\right )}{4 \, f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a + b \sin {\left (c + \frac {d}{x} \right )}\right )^{2}}{e + f x}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 3.88, size = 368, normalized size = 1.44 \begin {gather*} -\frac {b^{2} d \cos \left (-2 \, {\left (d f - c e\right )} e^{\left (-1\right )}\right ) \operatorname {Ci}\left (2 \, {\left (d f - c e + \frac {{\left (c x + d\right )} e}{x}\right )} e^{\left (-1\right )}\right ) - b^{2} d \cos \left (2 \, c\right ) \operatorname {Ci}\left (-2 \, c + \frac {2 \, {\left (c x + d\right )}}{x}\right ) - 4 \, a b d \operatorname {Ci}\left ({\left (d f - c e + \frac {{\left (c x + d\right )} e}{x}\right )} e^{\left (-1\right )}\right ) \sin \left (-{\left (d f - c e\right )} e^{\left (-1\right )}\right ) + 4 \, a b d \operatorname {Ci}\left (-c + \frac {c x + d}{x}\right ) \sin \left (c\right ) + 4 \, a b d \cos \left (-{\left (d f - c e\right )} e^{\left (-1\right )}\right ) \operatorname {Si}\left (-{\left (d f - c e + \frac {{\left (c x + d\right )} e}{x}\right )} e^{\left (-1\right )}\right ) + b^{2} d \sin \left (-2 \, {\left (d f - c e\right )} e^{\left (-1\right )}\right ) \operatorname {Si}\left (-2 \, {\left (d f - c e + \frac {{\left (c x + d\right )} e}{x}\right )} e^{\left (-1\right )}\right ) - b^{2} d \sin \left (2 \, c\right ) \operatorname {Si}\left (2 \, c - \frac {2 \, {\left (c x + d\right )}}{x}\right ) - 4 \, a b d \cos \left (c\right ) \operatorname {Si}\left (c - \frac {c x + d}{x}\right ) - 2 \, a^{2} d \log \left (-d f + c e - \frac {{\left (c x + d\right )} e}{x}\right ) - b^{2} d \log \left (-d f + c e - \frac {{\left (c x + d\right )} e}{x}\right ) + 2 \, a^{2} d \log \left (c - \frac {c x + d}{x}\right ) + b^{2} d \log \left (c - \frac {c x + d}{x}\right )}{2 \, d f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a+b\,\sin \left (c+\frac {d}{x}\right )\right )}^2}{e+f\,x} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________